Implication Details

Assumptions: self-dual, strict initial object

Conclusions: strict terminal object

Reason: This holds by self-duality.